Search: any fieldtitleauthorskeywordspublication dateInstitutiondocument typeconference titleISBN/ISSNproject numberfulltextrecord ID Search Tips :: Advanced Search

Search collections: *** any public collection ***AgritecAgrotest fyto, s.r.o.Agrovýzkum Rapotin Ltd.Academy of Performing Arts in ...Academy of Fine Arts in PragueAnalytical and methodological ...AnalysisInstitute of Archaeology, BrnoInstitute of Archaeology, Prag...Architectural Institute in Pra...Archiv ing. arch. Jana MoučkyArnikaCzech Water AssociationAstronomical InstituteAuthor worksBachelor's thesesBanksPersonal bibliographiesInstitute of BiophysicsBiology CentreInstitute of BiotechnologyInstitute of BotanyBrochuresNewslettersCENIATransport Research CentreCentre for Transport and Energ...The Centre for Regional Develo...Centre for Higher Education St...Global Change Research Institu...Czech Association of Occupatio...Czech Paraplegic AssociationThe Czech National BankCzech Council of Children and ...Czech Society for OrnithologyCzech University of Life Scien...Czech Technical University in ...Czech Statistical OfficeCESNETTravel reportsHop Research InstitutePeople in Need Czech RepublicdataNational Repository of Grey Li...Master’s thesesDoctoral thesesdoc. RNDr. Jiří Souček, DrSc.EkodomovInstitute of EntomologyInstitute of EthnologyEuropean Values o.s.Fairtrade Czech Republic & Slo...Charles University Faculties (...Institute of PharmacologyInstitute of PhilosophyTrade literatureTrade printInstitute of PhysicsInstitute of PhysiologyGalleriesThe Gallery of Graphic Arts in...Gender Studies, o.p.s.Institute of GeophysicsDepartment of Geography, Masar...Institute of Geology GLE o.p.s.Grant reportsHabilitation thesesHESTIAInstitute of HistoryInstitute of HydrobiologyThe Arts and Theatre InstituteIuridicum RemediumUniversity of South Bohemia in...South Moravian Museum in Znojm...Product cataloguesExhibition cataloguesDepartment of Social Geography...Library of the ASCRLibrariesConference materialsCultureFlyersLiterary Academy (Internationa...The Map Collection at Charles ...Masaryk UniversityMasaryk Institute and Archives...Institute of MathematicsMendel University in BrnoMethodsInstitute of MicrobiologyMinistriesMinistry of DefenceMinistry of JusticeMinistry of the EnvironmentMonographsThe Moravian Gallery in BrnoMoravian LibraryMuseumsMuseum of the Brno RegionMuseum of Glass and Jewellery ...Museum of Eastern Bohemia in H...Karel Komárek Proměny Foundati...National archivesNational Film ArchiveThe National Stud at Kladruby ...Nati­o­nal Infor­mation and Co...National Library of the Czech ...National Medical LibraryNational MuseumNational Heritage InstituteNational Library of TechnologyNational technical museumNational Institute of Folk Cul...National Institute for Educati...The National Museum of Agricul...National Open-Air MuseumEconomics InstituteNonprofit organizationsOriental InstituteOSEVA Development and Research...Personal archivesMiscellaneousUniversity of OstravaThe Museum of Czech LiteratureInstitute of ParasitologyParliamentary InstituteBiographiesPortfóliaPostersPostprintsPrague CollegePreprintsPapersProgrammesPromotional and educational ma...Progress reportsExhibition guidesInstitute of PsychologyReviewsRigorous thesesProceedingsAssociation for Integration an...The North Bohemian Museum in L...SIRIRIUniversities and collegesSilesian University in OpavaThe Silesian MuseumInstitute of Slavonic StudiesInstitute of SociologyInstitute of Sociology (CVVM)Private collegesSpecialized departmentsCzech Radioactive Waste Reposi...Statistical reportsAdministrationState Office for Nuclear Safet...Czech Agriculture and Food Ins...StudiesTechnical Museum in BrnoTechnical reportsTechnology CentreThematic collectionsPress releasesThe Museum of Decorative Arts ...University of Hradec KrálovéJan Evangelista Purkyně Univer...Charles UniversityPalacký University OlomoucUniversity of PardubiceIndustrial Property Office of ...Institute of Analytical Chemis...Institute of Inorganic Chemist...Institute of Archeological and...Institute of Vertebrate Biolog...Institute of Chemical Process ...Institute of Art HistoryInstitute of Experimental Bota...Institute of Experimental Medi...Institute of Photonics and Ele...J. Heyrovsky Institute of Phys...Institute of Physical Engineer...Institute of Atmospheric Physi...Institute of Physics of Materi...Institute of Plasma PhysicsInstitute of GeonicsInstitute of Computer ScienceNuclear Physics InstituteInstitute of Macromolecular Ch...Institute of Plant Molecular B...Institute of Molecular Genetic...Institute of Organic Chemistry...Institute of Scientific Instru...Institute of Czech LiteratureInstitute of Art History, Char...Institute of Electrical Engine...Institute of HydrodynamicsInstitute of the Czech Languag...Institute for Classical Studie...Institute of Contemporary Hist...The Institute for the Study of...Institute of Soil BiologyInstitute of Slavonic-German S...Institute of State and LawInstitute of Rock Structure an...Institute of Theoretical and A...Institute of Information Theor...Institute of ThermomechanicsInstitute of Animal Physiology...Institutes ASCRResearchPublic universitiesGazettesResearch Institute of Geodesy,...Scientific research institutio...Annual reportsUniversity of Chemistry and Te...University of Economics, Pragu...The College of European and Re...The University of Finance and ...College of Information Managem...UniversitiesBrno University of TechnologyAcademic theses (ETDs)Research institutesResearch reportsTimber Research and Developmen...Occupational Safety Research I...Forestry and Game Management R...Food Research Institute PragueResearch Institute for Labour ...Crop Research InstituteThe Silva Tarouca Research Ins...T. G. Masaryk Water Research I...WoodexpertUniversity of West Bohemia Westbohemian Museum in PilsenFinal reportsBiographiesReportsStatus reportsSurvey reports

Sort by: Display results: Output format: latest firstpublication dateauthorrecord ID asc.desc. - or rank by -word similarity 10 results25 results50 results100 results single listsplit by collection citaceHTML briefHTML brief + PSHHTML citesummaryMARCRefman RIS

National Repository of Grey Literature

2 records found

Search took 0.00 seconds.

Synthesizing Non-Termination Proofs from Templates Martiček, Štefan ; Fiedor, Tomáš (referee) ; Vojnar, Tomáš (advisor) Jednou z nejsložitěji verifikovaných vlastností programů v oblasti formální analýzy je živost. K jedné z metod ověřujících tuto vlastnost patří i dokazování neukončitelnosti programů. Naše práce popisuje návrh a implementaci dvou algoritmů ověřujících neukončitelnost. Inspirujeme se již existujícími přístupy, jako jsou rekurentní množiny a nadaproximace cyklů s využitím invariantů ve tvaru rekurentních relací. Hlavní výzvu pro nás představovalo přizpůsobení těchto algoritmů SSA (single static assignment) reprezentaci použité v 2LS a jejich celková integrace v našem frameworku. Vzpomínané přístupy se nám podařilo spojit do analýzy neukončitelnosti, která dosahuje nejlepší výsledky v porovnání s existujícími nástroji, které byly srovnané na soutěži SV-COMP 2017. Detailed record

Synthesizing Non-Termination Proofs from Templates Martiček, Štefan ; Fiedor, Tomáš (referee) ; Vojnar, Tomáš (advisor) Jednou z nejsložitěji verifikovaných vlastností programů v oblasti formální analýzy je živost. K jedné z metod ověřujících tuto vlastnost patří i dokazování neukončitelnosti programů. Naše práce popisuje návrh a implementaci dvou algoritmů ověřujících neukončitelnost. Inspirujeme se již existujícími přístupy, jako jsou rekurentní množiny a nadaproximace cyklů s využitím invariantů ve tvaru rekurentních relací. Hlavní výzvu pro nás představovalo přizpůsobení těchto algoritmů SSA (single static assignment) reprezentaci použité v 2LS a jejich celková integrace v našem frameworku. Vzpomínané přístupy se nám podařilo spojit do analýzy neukončitelnosti, která dosahuje nejlepší výsledky v porovnání s existujícími nástroji, které byly srovnané na soutěži SV-COMP 2017. Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.